-
1 булево выражение
булево выражение
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]
Булево выражение
Математическое выражение, в котором все переменные имеют значения либо 0 либо 1.
[http://www.rfcmd.ru/glossword/1.8/index.php?a=index&d=23]Параллельные тексты EN-RU
The output signal of an equation can be fed into a further, higher order equation as an input signal thus creating a sequence of interlinked Boolean equations.
[Schneider Electric]Выходной сигнал булевой функции можно подать на вход другой булевой функции, создавая, таким образом, последовательность взаимосвязанных булевых выражений.
[Перевод Интент]The Boolean equations need to be defined without the use of brackets.
[Schneider Electric]Булевы выражения должны определяться без скобок.
[Перевод Интент]Тематики
- Булева алгебра, элементы цифровой техники
Синонимы
EN
Русско-английский словарь нормативно-технической терминологии > булево выражение
-
2 блокировочная зависимость
- interlocking logic
- interlocking condition
- interlock equation
- interlock condition
- equations of the interlocking logic
- equation of the interlocking
блокировочная зависимость
-
[Интент]Устройства (схемы) автоматической блокировки, как была сказано, должны предотвратить неправильный пуск и останов аппаратов и машин, исключить, в частности, возможность проведения последующих операций, если не выполнена предыдущая. Например, в схемах управления реверсивными электродвигателями предусматривается блокировочная зависимость, исключающая возможность одновременного срабатывания обоих магнитных пускателей (для избежания короткого замыкания фаз).
[А. Н. Павлов. Автоматизация технологических процессов. Конспект лекций для студентов специальности 200106 «Информационно-измерительная техника и технологии». Бийск. Издательство Алтайского государственного технического университета им. И.И. Ползунова 2010]Механизмы поточно-транспортной системы сблокированы друг с другом. Это обусловлено поточностью производства, при которой материал последовательно и непрерывно поступает от одного механизма к другому.
Блокировочная зависимость предусматривает:
а) последовательность пуска механизмов в направлении, обратном технологическому потоку материалов;
б) автоматический останов всех предшествующих по потоку механизмов при аварийном останове какого-либо механизма, необходимого для того, чтобы исключить завал оастновленного механизма транспортируемым материалом.
[http://www.technonicol-moscow.ru/upravlenie/avtomatizaciya07.php]A switch command will be executed if the optional control enable has been issued and the interlock conditions are met.
The interlock conditions are defined in the interlocking logic for each switching unit within the bay that is subject to control actions and for each control direction (Open/Close).
[Schneider Electric]Команда включения или отключения выполняется после подачи разрешающего сигнала управления и выполнения блокировочных зависимостей.
Блокировочные зависимости определяют отдельно для каждого коммутационного аппарата ячейки и отдельно для операции включения и отключения.
[Перевод Интент]Interlock conditions are defined in the interlocking logic by Boolean equations.
[Schneider Electric]Блокировочные зависимости определяют логику блокирования, записываемую с помощью булевых выражений.
[Перевод Интент]If the interlock condition is to be modified, this is possible by modifying the corresponding Boolean equation in the interlocking logic or by defining a new interlocking logic equation.
[Schneider Electric]Изменить блокировочную зависимость можно путем определения нового или изменения существующего булева выражения данной блокировочной зависимости.
[Перевод Интент]Тематики
- автоматизация, основные понятия
- релейная защита
EN
Русско-английский словарь нормативно-технической терминологии > блокировочная зависимость
-
3 программируемая логика
программируемая логика
—
[Л.Г.Суменко. Англо-русский словарь по информационным технологиям. М.: ГП ЦНИИС, 2003.]
программируемая логика
-
[Интент]Параллельные тексты EN-RU
Programmable (or user-configurable) logic enables the user to link binary signals within a framework of Boolean equations.
[Schneider Electric]Программируемая (или конфигурируемая пользователем) логика позволяет реализовать различные логические функции двоичных сигналов.
[Перевод Интент]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > программируемая логика
-
4 лежать в основе
•The basis for the antibacterial effects of dyes is their ability to...
•Behind the Mullard invention is the notion that...
•Central to the theory is...
•Movement of charged particles in a magnetic field also forms (or constitutes) the basis for mass spectrometry.
•These equations form the basis (or foundation) of the theory of...
•These theories form (or provide) the foundation for (or are at the basis of) colour television.
•It is this form that provides the basis (or is fundamental) for a wide variety of TV antennas.
•Let us consider the physical conditions that underlie the Sun's magnetism.
•Boolean algebra underlies the theory of relations.
•Microcomputers are at the heart of "transaction" telephones for checking customers' credit.
•The general rule that the forces between two particles result from an exchange of other particles is basic to much of our present understanding of elementary-particle interactions.
•This distinction between electricity and magnetism is at the heart (or root) of the theory of...
•The Periodic Table provides the framework for the whole study of inorganic chemistry.
•Thermochemistry is basic to the study of chemical bonding.
•An understanding of dye laser operation is a building block for understanding the principles of other tunable laser systems.
•These interrelations are the heart of hydrodynamics.
•The chapter describes the fundamental physics that gives rise to the behaviour of the single junction and the transistor as circuit elements.
•The nature of energy lies at the heart of the mystery of our existence.
•This reaction is the basis for the cyanamide process for...
Русско-английский научно-технический словарь переводчика > лежать в основе
-
5 лежать в основе
•The basis for the antibacterial effects of dyes is their ability to...
•Behind the Mullard invention is the notion that...
•Central to the theory is...
•Movement of charged particles in a magnetic field also forms (or constitutes) the basis for mass spectrometry.
•These equations form the basis (or foundation) of the theory of...
•These theories form (or provide) the foundation for (or are at the basis of) colour television.
•It is this form that provides the basis (or is fundamental) for a wide variety of TV antennas.
•Let us consider the physical conditions that underlie the Sun's magnetism.
•Boolean algebra underlies the theory of relations.
•Microcomputers are at the heart of "transaction" telephones for checking customers' credit.
•The general rule that the forces between two particles result from an exchange of other particles is basic to much of our present understanding of elementary-particle interactions.
•This distinction between electricity and magnetism is at the heart (or root) of the theory of...
•The Periodic Table provides the framework for the whole study of inorganic chemistry.
•Thermochemistry is basic to the study of chemical bonding.
•An understanding of dye laser operation is a building block for understanding the principles of other tunable laser systems.
•These interrelations are the heart of hydrodynamics.
•The chapter describes the fundamental physics that gives rise to the behaviour of the single junction and the transistor as circuit elements.
•The nature of energy lies at the heart of the mystery of our existence.
•This reaction is the basis for the cyanamide process for...
* * *Лежать в основе -- to be at the heart of, to lie at the heart of; to be at the root of; to be at the basis of, to form the basis of, to form the basis for; to form the foundation for; to underlieInference is al the heart of both language understanding and language generation.An accurate determination of primary flowrate lies at the heart of any turbine acceptance test.It is this particular approach that forms the basis of the dynamic testing technique described in this paper.Suppose that a single predicate underlies part of the meaning of each of the following sentences. (... лежит в основе части значения...)Русско-английский научно-технический словарь переводчика > лежать в основе
См. также в других словарях:
Boolean-valued function — A boolean valued function, in some usages a predicate or a proposition, is a function of the type f : X → B, where X is an arbitrary set and where B is a boolean domain.A boolean domain B is a generic 2 element set, say, B = {0, 1}, whose… … Wikipedia
Boolean algebras canonically defined — Boolean algebras have been formally defined variously as a kind of lattice and as a kind of ring. This article presents them more neutrally but equally formally as simply the models of the equational theory of two values, and observes the… … Wikipedia
Boolean algebra (introduction) — Boolean algebra, developed in 1854 by George Boole in his book An Investigation of the Laws of Thought , is a variant of ordinary algebra as taught in high school. Boolean algebra differs from ordinary algebra in three ways: in the values that… … Wikipedia
Boolean grammar — Boolean grammars are a class of formal grammars studied in formal language theory. They extend the basic type of grammars, the context free grammars, with conjunction and negation operations. Besides these explicit operations, Boolean grammars… … Wikipedia
Boolean logic — is a complete system for logical operations. It was named after George Boole, who first defined an algebraic system of logic in the mid 19th century. Boolean logic has many applications in electronics, computer hardware and software, and is the… … Wikipedia
Boolean algebra — This article discusses the subject referred to as Boolean algebra. For the mathematical objects, see Boolean algebra (structure). Boolean algebra, as developed in 1854 by George Boole in his book An Investigation of the Laws of Thought,[1] is a… … Wikipedia
Boolean algebra (logic) — For other uses, see Boolean algebra (disambiguation). Boolean algebra (or Boolean logic) is a logical calculus of truth values, developed by George Boole in the 1840s. It resembles the algebra of real numbers, but with the numeric operations of… … Wikipedia
Boolean delay equation — As a novel type of semi discrete dynamical systems, Boolean Delay Equations (BDEs) are models with Boolean valued variables that evolve in continuous time. Since at the present time, most phenomena are too complex to be modeled by partial… … Wikipedia
Boolean satisfiability problem — For the concept in mathematical logic, see Satisfiability. 3SAT redirects here. For the Central European television network, see 3sat. In computer science, satisfiability (often written in all capitals or abbreviated SAT) is the problem of… … Wikipedia
Two-element Boolean algebra — In mathematics and abstract algebra, the two element Boolean algebra is the Boolean algebra whose underlying set (or universe or carrier ) B is the Boolean domain. The elements of the Boolean domain are 1 and 0 by convention, so that B ={0,1}.… … Wikipedia
Residuated Boolean algebra — In mathematics, a residuated Boolean algebra is a residuated lattice whose lattice structure is that of a Boolean algebra. Examples include Boolean algebras with the monoid taken to be conjunction, the set of all formal languages over a given… … Wikipedia
